CLEANUP: remove some timing code which was accidentally committed.