small fixies, update doc