Remove redundant fact, fix typo (an amusing one)