Fix the documentation for create_extension