Fix bug 4653