Small change.
Merge branch 'master' of https://github.com/gordonkristan/urppl

Conflicts:
	public/index.html