Fixup: simplify fancyvrb arguments