String fix in Github editor