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