just minor formatting