bug fix release for 4.7.2