More bugfixed to intro notes