minor embarrassing typos in header comment.