Let's change up <pre> formatting slightly