fixes #1727, update version