modify post: Python's with statement