Fixed definition of EF record