Patch pushed as f1b0b2344c4c6465cd6033128366e86fa16e5f23.
Thanks.