Small fixes to documents