working around issue #712