Fix issue #9631