That patch seems OK to me (except that code in a block comment should have a <tt>*</tt> somewhere in front of it IMO; that's part of the comment indication — this is the most trivial of quibbles, as it is in the meta-information related to a comment!).