documentation, small changes