Fixed a bug introduced with previous commit.