Specification missing rule for empty object

[PJK]

The Abstract Syntax seems to be missing a derivation rule for "{}", which should be a valid input.

The rules expr -> { objinside } and objinside -> member { , member } [ , ] with member always being non-empty don't seem to allow a valid derivation from expr to "{}". Or am I missing something?