A small edit in the error message