disconnected players will have their names reset to 'machine', fixes #8