minor documentation improvements