Dirty fix false alarm of dangling header reported in issue #14