Minor fixes to the abstactions