[mfl] Two minor wording improvements.