Cosmetics: use consistent indentation by four spaces