fix explanation of stlc bug #2