Fix for a typo introduced in the previous commit.