Fix incorrect commit number in intro 5