Updated version, as this fixes a bug.