Follow-up to #32, cleaning up some docs. [ci skip]