Game server: fixes an issue with an inconsistent naming scheme.