Small improvements in documentation. Removed unnecessary DEBUG flag.