What kind of a name is Eddard, anyway?