Fixed a bug introduced in a previous commit.