Tweaks to coderay