Oops, forgot this file in the last commit: use Set<> instead of List<> for table-keys index