minor nitpick in formatting