Minor indentation issues i found when going through the sources