Fixes #6372. [skip ci]