Some small tweaks on documentation