ipopt-common.hh: fix doc.