better docs; some fixes