fix spelling and add a new clause