Bump version number and add comments referring to issue #414.