Another minor rephrasing