Small refinement to a warning message.