Fix Domino compilation issue