Fixes #3951