minor bug fix in corecmd