minor cleanups in comments