Update to 1.7.2 (I thought it would be more difficult...)