Fix timer documentation.