Fix extensions type annotation.
#3380
+4
−5
Merged