Fix docs; remove old example;