Fix an indentation problem