Fix weird github username handling