Various fixes and more examples to the documentation