Added in a comment, asking what the correct error message should be