minor fix for Integration.cpp