Fix subtle problem.