Fix for #3683.