Fix to solution to B.5.