More small fixes to the comments on these files