Correct an over-hurriedly-committed syntax error