fix a little formatting bug