Do we specify the error message anywhere?