I think I found a configobj bug