[manual] Fix missing </code> tag