FIXME: Quick hack to get the right category for headers.