few improvements in docs