Yeah, I know the feeling! Turns out I was bad at spelling 20 years ago and didn't care to fix a lot of it 10 years ago.
Here's a screenshot of the bug you're looking for, a bit before Dott's place:
Perfect, thank you! :D