potential fix for OSX timing bug #40