Minor style changes I had missed in the last commit.