trying fix for #3637