Auto-indent is weird in python