Remove erroneously-added file