Add more debugging information to timer code