fix bad cross reference