Small fixes to the documentation