PRINCE: Small code clean-up