Minor tweak in the error message.