fix encoding error in comment