debugging in SEOBv1, and one bug fixed in v3