update: adjust for Mac OS