fix a little formatting thing