Also removing the erroneous space that had crept in at the end of the line in most of our header comments.
910e1c3d0b