very minor documentation improvements