minor changes (ADOL-C issue)