Bugfix in the Header