Set correct version in the end-user docs