Minor cleanup: tweak comment formatting