typo: `defined`