Fixes #5953

Fixes #5953
missing )