fix <pre> formatting