Fix for broken header