EF library bugfix