[master] Minor correction