Fixes #3252