minor: changed formatting and style