Just fixing some documentation