Minor edit

Removed a ")"