Slightly enhance performance of UTF8.decode()