just a little formatting fix