Add a closing )

Thanks Jenkins!