Fixes #5699