Fixed #5 by adding some more polishing passages to pushTermTo()