Fixes #3887