Fix some comments in header