fix cut-n-paste error found by abartlet