Little fixes to documentation