small docs corrections...