Fix #1: Total time and lap time have wrong format