Seems like the github web editor is a little bit buggy