One more touch.
Removed change in weak_approximation.