Debugging

Changes made while exploring the debugging tutorial.