Restore change that was accidently lost in a pull request.