correction of minor bugs