More example and documentation fixes