Minor edit: undo change