Fixes: #2228 missing )