BADFILE was added