Updated documentation to reflect a realization that I just had...