correct error in updated_xsdepot