[gae] minor tour bugfix
Merge branch 'gae' of github.com:CurryBoy/Peirce-Logic into gae
Merge pull request #5 from CurryBoy/gae

Small id change for tour.