Fix version in documentation header