small manual edits