Fix comments

Header comment somehow got loused up on the last commit.