Fixed format problems in GADT tutorial.