Fix mistakes in versioning instructions