bad file. fixes #5