spurious '}'