fixed

I hope (added back the }); I accidentally deleted)