Convert two more places where we use <code>...</code>.