Update syntax-python.html