Fixed minor bug introduced by previous commit.