Updating: very minor updates.