This change was made by the GitHub editor, not by me.