Timer benchmark fixup