Just a whitespace tidy‐up, to calm down my yellow vim highlight