Fixes #4253

Ok.