Fixed integration formulae

Thanks to the help of Guido Claessen we figured out the integration.