Fixed a compilation problem