intro: minor fixes