Update intro.js

Why this correction is not yet available??