Fixed a compilation error