fix of a minor bug