Duplicate of [4e8410bfd6].

This is basically the same as [705181a992].