* Corrections to pico manual contributed by Dennis Davis.