hmm... i added some debugging lines (e.g. cout stuff)