Removed a leftover file.