Several documentation improvements