Patch pushed as 917c25b3ba0575c6c6e44f8af0d1365bb2378220. Thanks.