fix a pushboxes error