Added some debug information for #6