Fix up the include file that had problems as well.