merge 0.7.2 on 0.8.3

merge 0.7.2 on 0.8.3