minor fixes in docs