Fred: more debug timing output