minor FaunusCompiler message tweak.