You're right, it seems to have discarded that run, as (after 48 hours) the Personal Records still show an earlier, slow training run as my "best 5k", which is a tad annoying.
Oh well, just have to go for another run and see what happens. Chest strap on today.