Fix error in 5-4