minor fix for compilation on Mac OS X