Making docs consistent with SEP