Fix a bug in determining the default server flavor