fix version number in source (fixes #37)