Fixes #4232