fixing a whitespace error of the editor