Bumped version number for a bugfix