bugfix for header inclusion