removed extra )

Not sure why the other pull request came through.  Maybe I should do it again?