Patch pushed as d05781c4bb6a1f058e7dbaaa40ebe327886bad2c.
Thanks.