Tiny changes in formatting and comment