Very minor touch-ups (formatting)