A slight enhancement to Kohsuke Kawaguchi's Shorthand RelaxNG format