It's clearer if we complain about an obvious filename