minor: correction