mod_rayo: jsgf formatting tweaks