minor edit to the result