Minor edit
Not sure why this change not committed...