small cleaning, docs updated