fix nasty indentation