a bug (divided by 0) pointed by XiaoHan Wang May9