update version number and fix issue #87