minor update in formatting