Minor documentation fix

This is a minor documentation fix I found while proofreading.