Add instructions (hopefully) fixing #12