Fix bug 4656