Bundle mapping transitivity now correctly resolved