fix name of syntax highlight_ing_ plugin

Maybe they should just drop the ending entirely...