small fixes on EF Code First model