possible fix for #67