If you do as I suggest above, this code is unnecessary. If you do not, please improve this error message.