Slight readability improvement in docs