minor fixes in inputenc utf8