Attempting another code highlighting tweak