Deleted superfluous file.