On 6/15/2017 4:51 AM, Peter Kriens wrote: > Thanks, I’ve updated the document. I find it hard to understand why the document persists in saying that the grammar of a module declaration is "sloppy" when I have explained the technical reason for the different productions. Alex