More minor comment tweaks