be accepted by the parser; i.e. no bug in the code :-) Note to self: do not try to "fix" stuff the last minute before going to sleep.
