Patch pushed as c51667d52ed40b70cd15ff890141bff98f5e0d9a.
Thanks.