minor updates on documentation