Minor typo, reported by Dorai.