Updating some definitions.