Fix <pre> formatting