Removed a forgotten file