correct EF stuff