@ShriramKMurthi Is this just a problem with the phrasing of the message, or would the checker need to do more work to give a more accurate message?