slight documentation improvements