Fixes #3714