tiny fixes in intro