fix a weird typo I commited in 950d01faf9d5 (Nov 10th, 2009)