possible fix for #712