Fixes #9999.