PRINCE: Fix more warnings