Fix an indentation issue