[DS-1944] remove extra close paren

This is a simple one-character deletion, making it via the github edit interface.