Minor fixes to AutoDiff, Krawczyk and Krawczyk2D