Corrections in oo.sp.
Minor adjustments.
Merge branch 'states' of https://github.com/MomemtumMori/spot.git into
states