offline docu open on mac os x fixes #3