[ci skip] Fix a bug reported via PR #3704
2 files changed