Patch pushed as 7f41603da02acd0a30f94f39b3a51a361fc4ec76. Thanks.