Thanks. I made a few edits and pushed the patch as
c6397e3e4cdedf3dbeedcb1e5de23e8e27053a5a.