Documentation corrections