Oops, typo. and a little structuring of the comments at file head.