Fix documentation

Remove garbage; add new material