Removed a superfluous file.