metomi/rose#49: fix crash bug