Fix typo left from outdated text