Minor modifications for getting the army from GET