another minor correction