Bugfix in intro notes