minor edit at the end