Added missing assertions to the Card spec