possible fix for #1688