fix version numbers
Fix bug #87