tweak pre-syntax check reporting, show as div and pre