Patch pushed as 54e4aac588cdbd5fa9b5725488c7fcbc7b61dd0d.
Thanks.