#16: wrong encoding was used