Minor change to walkthrough.html