Issue #41: bumping the version number