fix a little formatting