Minor corrections for #115