fix for boxed integer problem