Updating: minorly improving UTFPL0