bugfix in header