Fix bug #5621