small fixes in "min cross"