That's how the code was originally. Don't want to make a bunch of cosmetic changes in this already large PR if I can avoid it.