Small doc fix on version number