fix extension name in doc file

Change-Id: Ie82d77bf76fefa7ec1efd13a13d6095f72e7dce3