Some small fixes and improvements in the docs/examples