fix a rather embarrassing error and bump the version