Your gut was right. Lyles set the new HS record though