Update builtinplugins.tex (typo fix)