Improve version numbering in documentation