Fixed HTML codes in verbatim blocks