PRINCE: Silence last comparison warning in gcc