fix issue #72