Tiny modifications in code comments