High water pants - How do you get the length back after washing?