Made small tweak to work in OS X mavericks