Fix for the C timing code.