Fix previous commit, erroneous '('