Report and fix of minor bug