Fix indentation issues caused by use of an inferior text editor ;)