Fix #61: unclear how to run