EF2013 doc fixes