... trimming a comment to fit inside 80 chars... code correctness gone mad.