Fixes #3276