Fix small bug introduced in previous commit.