fix issue #97 (actually, work-around)