small improvements to the extension doc