Fixes #4082