Small fixes in docs