Tiny changes before lunch
Trying out latest version of infExact