Fix basis lemmata list