revert the double-int change