unify file and spec warnings: all May start with MAYBE