Ugh, fix the extension's handywork

duhhhhh