Fixes #4221.
Fixes #4286.