Small changes to docs, including version and license