Fix wrong version in documentation