Minor documentatino fix