Fix version number in install docs
Merge branch 'master' into dev