Minor change in ajax.py