trivial: correct a warning message