John Baldwin 8b2e525f52 Tweak the comment here some more. In particular, the previous opening
sentence was a bit confusing.

Noted by:	kib
2015-05-06 17:23:42 +00:00
..
2014-08-20 14:58:25 +00:00
2015-04-26 10:55:39 +00:00
2015-04-26 10:53:50 +00:00