minor updates in formatting