Add comment about possible bug, fix debugging output