a minor reduction bug fixed, tests cleaned-up, other tweaks