little fix of bug provoqued by previous commit