typo in diagnostic message