Fix issue #9243