Minor change. Fixing a compilation warning