minor correction/simplification