Update docs to incorporate Tony's suggestion