#263: resolve typo, and minor changes

Resolves #263.