Make stephan happy with indenting