Two small fixes in introduction