Documentation: fix version numbering