Fixed up docs for the edoc format.