These are the corrected standings, just posted. Riley won the race (!) and Bauhs ran 13:28.92.
1 22 405 RILEY JONATHON 13:19.92 USA Sen 13:21.65
2 7 392 NELSON TIM 13:34.93 USA Sen 13:24.87
3 27 387 KIBET MOSES UGA Jun 13:24.94
4 4 384 ABDIRAHMAN ABDI 13.13.32 USA Sen 13:26.27
5 12 393 VAUGHN BRENT 13:18.46 USA Sen 13:26.50
6 21 394 QUIGLEY SEAN 13:27.17 USA Sen 13:28.07
7 16 400 NAKAO YUSEI 13:31.81 JPN Sen 13:28.16
8 20 390 FORREST SHAWN 13:28.81 AUS Sen 13:28.31
9 17 407 GABIUS ARNE 13:26.69 GER Sen 13:28.45
10 18 396 BAUHS SCOTTY 13:30.85 USA Sen 13:28.92
11 8 402 TASAMA DAME 13:28.38 ETH Sen 13:30.86
12 2 389 GEZACHW YOSSEF 14:09.04 ISR Sen 13:31.45
13 15 381 OVERALL SCOTT 13:28.33 GBR Sen 13:36.17
14 19 401 SATO YUKI PACE JPN Sen 13:36.26
15 14 388 DAMIAO MANUEL 13:35.90 POR Sen 13:36.66
16 10 529 MATSUOKA YUKI 13:36.51 JPN Sen 13:36.90
17 24 406 GONZALEZ JONAY MIGUEL 13:45.48 ESP Sen 13:39.79
18 3 382 VAN STEEN MAARTEN 13:59.10 BEL Sen 13:41.85
19 13 399 BANDI PHILIPPE 13:25.83 SUI Sen 13:46.28
20 11 383 SKOOG HENRIK 13:27.01 SWE Sen 13:46.98
21 25 386 WEERTS JEAN-PIERRE 13:55.80 BEL Sen 13:48.28
22 5 409 EL ASRI ABDERRAHIM x MAR Sen 13:53.47
23 23 404 GAHUNGU VITAL 13:38.19 BDI Sen 14:05.82
24 1 385 JANSSEN GUUS 14:02.03 NED Sen 14:06.15
25 9 546 TESFAI SIMON 13:48.26 ERI Sen 14:34.13
26 397 JANSSENS HANS PACE BEL Sen DNF
6 403 FAYS GUY 13:37.71 BEL Sen DNF