Documentation, minor changes