parsing miniexample...
adding parStrFormalList which seems to work