Removed a garbage file that was inadvertently uploaded.