[BLD] Frame without slot/value pair?

Michael, Harold,

I just noticed a minor detail in the definition of the Frame construct. 
The presentation syntax says that a Frame is a TERM or CLASSIFICATION 
followed by zero or more slot-value pairs (* stands for 0..*, right?):

Frame ::= (TERM | CLASSIFICATION) '[' (TERM ' -> ' (TERM | Frame))* ']'

I suppose that this is a typo and that it should be:

Frame ::= (TERM | CLASSIFICATION) '[' (TERM ' -> ' (TERM | Frame))+ ']'

that is, a TERM or CLASSIFICATION followed by one or more slot-value pairs?

Cheers,

Christian