for pub ASAP, fix html-encoded code block