As elsewhere, `coord` is no longer just a coord.