fix another error in num_box found by Travis