Added some more debug printings.