Fix a Python indentation problem