Patch pushed as d038c52feca9edd7803e54e2d387ed562d3cd969 with a complete commit message. Thanks.