Fixes #5263 [skip ci]