Fix missing extension annotation