Fixed a typo introduced in an earlier commit.