Comment fixes, from Nov 27 2012.