Patch pushed as ea8806f868a3b6577d8c014d5301b93012eb294b.
Thanks.