Fixes #3768