Exercise 2.4: correct benchmark