Various minor fixes and clarifications #175

Closed daveedvdv closed 1 week ago