Removed erraneous extra parentesis from the previous commit