Fix bug 3126.