trivial change to hopkins (though the integral is wrong)