fix an indentation error