small fix in integral