Minor readability improvement in docs