@Jippi: Wow, that's pedantic (meant as a compliment).