Fixed a small include-related bug.