Patch pushed as fd53b2122ce0d28de94383d21879d4ee9fcee163. Thanks.