Even more minor edits