Updating: improving UTFPL