Fix minor <code> issue