Add missing <pre> tag