Patch pushed as 034b7b5db6afc50669bb98553e5d57413839b7b6. Thanks.