Patch pushed as ce9c5fd6baa24e96065943a70f091b9d222e2329. Thanks.