fix bug in gbminint.