Fix comments

Header comment got loused up in the last commit