Added some debugging code to see what happens.