text nits, fixes #43 #46

Closed erdtman closed 7 years ago