Fix for #4297.