fix version numbers - see #509