Minor doc. change.