Minor rephrasing.