minor edits #133

Closed wragge closed 3 months ago