whoops, use <code>...</code> for $SAFE