Added some more debugprints to specs, and fixed some bugs from RTree