Fixed a possibly troublesome diagnostic message