Formatting in stack.py, and updating the README.