A bug fix, removed old unformatted file