Rename to correct exercise Ex 2.5b.