Clarifying documentation slightly