Fixed a minor oversight from the previous commit.