Fixed a bug introduced in previous commit.