even more slight, tiny documentation improvements