Minor fix: brackets have to be encoded, even within <pre> tag