Patch pushed as fe2575f9a96da2d81be10ac2e976b03a30e070ce. Thanks.