It's done this way elsewhere in this file, so it should be changed there as well.