Style update: don't duplicate the function name.