minor fixes in intro and complexity