Minor tweak (compiler message)