metomi/rose#884: fix instructions