Removed erroneously-added file.