Corrected 'evaluation flaw' may favor AWS over Microsoft's Azure in JEDI contract