A typo managed to surreptitiously slip into an example.