Fixes #3740