Bugfix: fix missing ')' that slipped out of last commit.