Minor improvement of an error message.
Another minor improvement of the same error message :-)