Fixes #3437