I made the change in the github.com editor.  Give me a moment.