Correct the wrong error message that was reported in #1288.

Correct the wrong error message that was reported in #1288.