correction of a bug