Improved docstring of Timer