metomi/rose#660: fix bug