Bugfix in header