Another small edit