Really set some output encoding... using UTF-16, as this is maybe not so often the default