Fix encoding in intro slides