Patch pushed as ea6b4b909f5fa784261c8fbc1973811672b048d7.
Thanks.