Small warning fix for MacOSX