Fixed a compilation problem related to included headers.