Fixes #4201