Fixed FanoronaState

github screwed it up, fixed errors