minor things, formatting