Update documentation
run/2