minor style correction on nested comments