fix an indentation issue