The bug fixed in Anh's branch was not pushed to master