Fixes #3567