Fix bug 3160.