fix for bug#889938