small improvements in docs