added more brute force debug output. there might be a better way to do that...