Fix doc file name