Bug fix

Fix missing “}”