fix bugs from last commit; new docs