Header bugfixes