fix a very stupid bug in python indent