r9057: fix cut-and-paste error