Typos introduced in 297f5af222.