#292: some auto indent