Bump version number (fixes #3)