possible fix for #31