Bug fix: introduced by previous commit.