doc fix from Jack Twilley <jmt@tbe.net>.