I see your point, but it seems a bit silly to encode the error message twice given that it doesn't affect correctness in any way. The important behavioral part in my mind is that it displays the line number, which is what changing it to ParseError does. This test case wouldn't exercise that code path anyway.