Fix: a few minor bugs related to named variable/parameter.