maybe fix for #1728