minor: bad cross reference fix