PRINCE: Fix warning