Minor editorial changes after commit of ticket #25.