Minor fixies in comments