MINUSF = true here worries me. Is it really necessary?