So they've given up their .com name space?