trivial change about encoding & style