Fix another bug in my recent commit.