Some changes made to the documentation