temporary fix for #4907