possible fix for #77