small readability improvement in docs