Remove an added t by the github webeditor

Notice to myself: Stick to my IDE.