bump version number, fix #5