Updating version to 0.8.8, for a hotfix release