misc. documentation improvements