fix bug in STLC example.