Updated documentation, minor changes