Merge branch 'master' into setup-install-extension

Conflicts:
	setup.py