Minor formatting fanciness