Small fixes to documentation