Bug fixes in nested ?DO and LEAVE