The change to this file seems a bit gratuitous.