style: more red <code>