Fix up obvious error in timing