fast correction of bug #3234