Trivial text fixes

A couple of trivial user-facing-text fixes encountered in the course of implementing #8 .