Adapted text of the error to make Josef happy :)