Minor changes. Comment out stuff in autograder.py