Apologies, my mistake. Also, when talking about Gandi's pricing I was speaking generally, i.e. they are more expensive than average domain registrars. I've, however, bought domains from them myself and their support and admin are great, so I would totally recommend them.