Minor cleanup on python-playground