Fixing.

GitHub's built-in editor is worse than Notepad. Specially on a phone.