Those double spaces come from some IDE back in the days. Those have not ben introduced by me. I would rather have a second PR fixing all those whitespace issues afterwards. I bet there are plenty more of them.