Small change to docs; removed some debugging code