fix a72b8ce portuguese unicode mismatch