Fixes #3400