Fix a subtle bug in the implementation of (+++) and (***) for dual categories.