minor fixes to Abstract