misspelled Hofstadter