Thanks for the tip :) I read this thesis when I started spawkfish, and it's very nice work.