Fix bug 4658