Fixes #3744