bug in cross-referencing...