bump version number to release bug fix (see #62)