Fix a bad name in the include.