minor: correction of shell output