Fix typo that led to unification bug

(As caught by the whitespace implementation, which is definitely pulling
its weight ;))