Patch pushed as 301f63239ab581b93572b4eaa9d2d69cec4714f0. Thanks.