small editing

nothing much