Minor tweaks to comments