Fixing abstract for header tests