Fixing a bug, and bumping the version