Some fixes to my comments.