fixes doc extension