Removed a superfluous file