Fixes and improvements in docs.