Small comment fixes, by Dmitry Chestnykh.