Some small fix in documentation