Fixes #3572