Fixes #5127.