Fixes #6685.