Missing timer data in synopsis example output