little formatting clean-up