Fix

A fix to the LUIF grammar.

Also fixes to your LUIF synopsis.  These were *not* relevant to your issues, but are issues you had yet to encounter.