Copy-and-paste fix for the previous commit.