Better measure-time names.