typo: "but"