Minor change in markdown.py