correctly pushed documentation edits