Fixed a compilation warning