silenced IPopt warning, bug fix