I meant this style change of `pre` should be removed, sorry if I communicated this badly.