Minor text edit following Thomas' request