Fix to a tiny bug.