Fix average speed reporting

Looks like we used a wrong options key. :)