Fixes #3642