fixed copy&paste error in sorted_int_stack