Darnit! We'll probably be doing the switch soon enough that it's not worth bothering with correcting the typo.