fix a small typo.. this seems to have no effect on OSX however