Fix harmless bug in the compilation of complementing categories