A few corrections to the comment block.