Bug-fix: typo in previous commit.