He shaved a tenth of a second off the world record.

他把世界纪录缩短了十分之一秒。