for pub ASAP, fix html-encoded code block
fix another code block
Merge pull request #1371 from tdykstra/rick

for pub ASAP, fix html-encoded code block