Fixes #3820