minor fix for OSX, etc