Deleting some old comments, fixing some whitespace