more docs (for #13)