Fixed encoding issues (cropped up on Debian)