On 14 September 2012 14:08, Stuart Abercrombie <<a href="mailto:sabercrombie@chromium.org" target="_blank">sabercrombie@chromium.org</a>> wrote: <div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> I wondered about this case but it didn't come up with the subset I tested with -- glad you caught it. V2 looks good to me. It's hard to be rigorous about detecting #version directives without a real parser. This seems a practical compromise. Stuart </blockquote></div> Thanks. Pushed.