Fixes #3294