Fix broken build for bad integ