Fix bug #311571