fix encoding error in doc