Fun with indentation in python