Fix some mistakes in comments