Small fixes in the documentation