Fixing the bug introduced in previous commit.